DFTRES

Benchmark
Model:haddad-monmege v.1 (DTMC)
Parameter(s)N = 100, p = 0.7
Property:target (prob-reach)
Invocation (default)
java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop target  --def N 100 --def p 0.7 --relErr 1e-99  haddad-monmege.jani
Execution
Walltime:600.174439907074s
Return code:130
Relative Error:1.0
Log
Total time: 599.945 s.
Property target:
point estimate: 0.0,
var: 0.0,
CI: [0.0, 1.0]
STDERR
Only time-accumulating or time-instant reward queries currently supported.